Accelerating NoC Verification Using a Complete Model and Active Window

Runtime verification of programs using rule-based active system

Verification of a Sliding Window Protocol Using IOA and MONA

We show how to use a decision procedure for WS1S (the MONA tool) to give automated correctness proofs of a sliding window protocol under assumptions of unbounded window sizes, buffer sizes, and channel capacities. We also verify a version of the protocol where the window size is fixed. Since our mechanized target logic is WS1S, not the finite structures of traditional model checking, our method...

Accelerating Parametric Probabilistic Verification

We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set of parameters. Our algorithm is based on two key ingredients: a graph decomposition into strongly connected subgraphs combined with a novel factorization strategy for polynomials. Experimental evaluations show that th...

runtime verification of programs using rule-based active system

0

Accelerating Universe as Window for Extra Dimensions

Homogeneous cosmological solutions are obtained in five dimensional space time assuming equations of state p = kρ and p1 = γρ where p is the isotropic 3 pressure and p1, that for the fifth dimension. Using different values for the constants k and γ many known solutions are rediscovered. Further the current acceleration of the universe has led us to investigate higher dimensional gravity theory,...